simple type evironment