Make the parser output InvalidExp nodes insted of Null, to simplify visiting
Some work on type checking