a type trait for determining a type without modifiers