Implement semantic checks on the AST

[vectronic]

Introduce a concept of warn vs error for these checks.