progress/improvements of RequireElementTraitsInClass() and new file for Concepts.h