Simple renaming of requires_ to require. Maybe we should also remove the whole Concepts::models trick and replace it with dune-common's version. It is not better, it is just already in the library.
requires_
require
Concepts::models