add traits instantiations
move traits.hpp to math dir