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

Timo Kochrequested to merge
feature/typetraits-isvalid into master
  • 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

Merge request reports