Environment (type theory)