Beginning of a generic environment and annotated expressions
Env module removed (collision with OCaml compiler's one) + PathName.Env.t extended to a map
Right type for 'of_expression'