removed useless commented code in Unifier
Changed test cases for datatypes through ontology.