concepts

Generic constraints for template metaprogramming.