Make equality check for closures

This should break the type soundness proof, which won't be properly fixed until
equality types are added.