Separated method environment during typechecking