Enabled debugging mode, added BooleanNumbers to the grammar, corrected the TypeChecking