Typing experiment

[epatrizio]

Typing techniques experiments, for example on the operands of operations

[epatrizio]

This is the typer first version. The implementation is simple: the AST is not decorated with the type of expressions (same AST for typer and compiler), no clean error handling (stopping at the first error, etc.). But this is a first approach with the fundamental concepts!