Add an AST untyping phase before giving the AST to the backend + Optimization: Create the environment array at top level since its size is always fixed