fix some apparent strange typos in unifyLib.sml
add type inference and to_i4 translation to progToMc

needed to load unifyLib and add the unify compset for the type
inferencer to work. the exp_to_i4 translation doesn't EVAL yet because
need to add the termination proofs to compilerTerminationTheory.