Injection into datatype should work now
Comment out a great deal of code that's not needed due to the simplification of symbols/variables comparison
Commented out code now deleted
Alpha-equivalence implemented