more primitive ops for patLang -> callLang