new Main + new PrettyPrinter + printing fixes

and little changes in TypeChecking