fixed AST node classes some more (made protected members private), type checker skeleton in place
ExpressionTypeChecker pretty much finished