term comparison now normalizes expressions so that binding expressions
are equal even when their variable names aren't.