Added a method for check equality of nodes, the ^ operator, and began work on the simplification template system