Environments (map of variables to values).
Semantic analysis module that receives an AST and validates it.
Report intuitive errors (use error handler).