move some type abbreviations
minimal change to intLang.lem to make it type-correct
edits to toIntLang.lem which cause Lem to stack overflow