Convenience module to import the specific rewriting function model and combinator implementation known as explicit. In package adp-multi-monadiccp, there is another combinator implementation.