Remove dead code, make EquationPath case class and create unit test for Congruence class