Clean-up error types and propagation

[earomc]

• Make parser/lexer/semantic errors contain code location/span
• Make error messages to be associated with error types.
• Add SemanticError type