Defining an environment datatype.