Fix definition_methods with implements

[rmosolgo]

Previously, the DefinitionMethods module was added (via extend) right away, and later inclusions would take priority over it. Now, that module is added as late as possible, so it will override any previously-added methods.

Fixes #4657

Another approach would be to use prepend on the singleton class. We can look into it if this lazy-extend approach doesn't work.