Environment for types