fixing missing <type_traits> header