get intLangTheory to build

just fixes for equality precedence. not adding modules to intLang at
this stage.
make exp_to_Cexp etc. use a constructor map on ids rather than strings

the compiler keeps a bidirectional map between id conNs and nums.
(currently the ids are always shorts.)
get pmatchTheory to build