make Env.ty visible and and more types to main