Slight refactoring: All phases now run in the PiReader monad, no need
to set that up more than once.

Also, 'liftToBaseM' turned out to actually be 'runPiReader' - fixed.

Also, Parac now actually calls both TypeChecker and the new ActorResolution.