math: move the definition of two type traits.
Missing piece from last commir.
Move the is_cf type trait into its own header and remove a fwd declaration of type traits from math.hpp.