Enable warnings ...
Add a new kind of type errors for abstractions
Refine position informations.
Return type after checking and fix extraction from ast.
Anotate Definitions with intro/eliom for tags and pairs, add new env utility functions.
Fix naming for consistency.
Add type checking for vars and star, add stubs for the rest.