Types haven't been merged yet, because we haven't done semantic() yet. But we still need to see if t1 and t2 are the same type.
first type
second type
true if they are equivalent types
See Implementation
Types haven't been merged yet, because we haven't done semantic() yet. But we still need to see if t1 and t2 are the same type.