* simplify definition of typing environment