Added Equational Reasoning module.