Get the TyEnv from type constructors