Implement pretty printing for CheckedProgram
Fix emptyScope
Workaround for expression parser.

Operators with more than one letter should precede
one letter operators that start with the same letter.
Otherwise there is a parsing error.
Adding actual typecheck
Do strict arguments check