AlisdairM/InferredTraits

Demonstration that many C++ is_category type traits can be inferred in simple ways