Adjusted ThCargo do produce the proper Type.

Quasi m => m Exp failes during core lint.
Adjusted the OutOfProcBuilder to do core-linting.
Allow commandline `Runner2 input output`