An equality function for the intermediate language

It looks like this change messes up intLangExtra.