07.03 Type checking: type equivalence and type checking