Added test for type traits.