Currently, a TypeVect denotes its element type using a const Type*, this is less clear regarding the intention, leads to cumbersome usage of Type::get_const_basic_type everywhere, and potentially miscalculation as T_BYTE, T_SHORT, and T_INT share the same kind of const Type*.