Check equivalence of types.
Checks equivalence up to alpha-renaming, as well as crushing of effects and trimming of closures.
Falseif we find any free variables.
- We assume the types are well-kinded, so that the type annotations on bound variables match the binders. If this is not the case then you get an indeterminate result.
equivT but take the initial stacks of type binders.