Expressions have all been semantically checked.
Still have to check statements, and the internal arguments of built-in functions (maybe not the latter, still unsure)