implement more type traits
rearrange type traits def orders to match forward
implement more type traits
add make_signed_t and make_unsigned_t