Add possible implementation of is type_trait

Currently implementation collides with `is template`
I believe that we can have it working.

Author: filipsajdak

include/cpp2util.h

@@ -1074,6 +1074,26 @@ constexpr auto is( T const& ) -> std::false_type {
     return {};
 }
 
+/*
+   Possible implementation of `x is type_trait` scenario, currently collides
+   with `x is `template` but should be doable to make it work
+
+// Type traits
+
+template <template <typename> class C, typename X>
+    requires std::derived_from<C<std::remove_reference_t<X>>, std::true_type>
+auto is(X&&) -> std::true_type {
+    std::cout << __PRETTY_FUNCTION__ << " " << __LINE__ << std::endl;
+    return {};
+}
+
+template <template <typename> class C, typename X>
+    requires std::derived_from<C<std::remove_reference_t<X>>, std::false_type>
+auto is(X&&) -> std::false_type {
+    std::cout << __PRETTY_FUNCTION__ << " " << __LINE__ << std::endl;
+    return {};
+}
+*/
 
 //  Types
 //