Implement new heuristics
Implement more type inference heuristics. The goal is to improve type inference and also test the design of the typer's framework, to make sure it allows the kind of heuristics we would like to be defined.
Edited by Suzanne Soy