Abstract syntax tree of the desugared representation

Scope dependencies computations using OCamlgraph

This module does local typing in order to fill some missing type information in the AST:

Translation from Surface.Ast to Desugared.Ast.

Builds a context that allows for mapping each name to a precise uid, taking lexical scopes into account