renamed RequireElementTraitsInMethod->RequireConceptAppliesToTypeInFunction and similarly for class version