Add preliminary support for type_traits