Another approach might be to add an attribute to warn if a definition uses operations that are not specified by concepts, but there are probably drawbacks with an opt-in approach like this as well (namely that people need to remember about it).

-- T.