A Generalized Algebraic Theory of Directed Equality