almost finish proof of patLang -> callLang

only remaining cheats are about primitive ops