get ml_translatorTheory to build using prim_sem_env