get pmatchTheory building with new free_vars

comment out some seemingly unneeded theorems about free_vars too
get toIntLangTheory working with new free_vars