CT Concept library that builds on top of <type_traits>, adding customization points and making checks variadic for more parsimonious code
