STL type traits integrated into the evaluation system (tml::eval takes care of ::type metafunctions