Propositional Equation Reasoning Systems