Trying for a good equality in the int lang

But I'm not making any progress on the broken toIntLangProofs