added type equivalence checker for identifiers