add type_traits for variable templates version