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

Merged Timo Koch requested 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