Implemented expression traversal data structure.
Fixed some minor typos.
Committed implementation of congruence_t