[typetraits] Implement isValid function to generate class member introspection functors

* isValid can be used to generate a functor that can check whether an operation done with a type is valid
* this patch also provides examples in form of a test and documentation