Determine if two terms are structurally equal. This is essentially
equivalent to
(==) except that it does not require
applying bindings before comparing, so it is more efficient. N.B.,
this function does not consider alpha-variance, and thus variables
with different names are considered unequal. Cf.,
equiv.