Not typechecking stores environment for defs to be used when closing the definitions