fix ml_translatorTheory for minor semantic changes

Note: types_match (and hence EqualityType) have changed slightly, they
now require literals to have the same type. I am hoping this will not
break any automation: it appears not to have so far.