Remove cheats.

This gets all but the equality applied to a closure case of
toIntLangProofs.