set aside envs types and started on types.{h,cpp}