Add functor examples for methods #116

The only functor examples that currently exist are focused on exported values. Methods are also used by requirement during functor applications. This should be tested.
In addition, the current functor examples exist in using_make and docs, none of which uses dune. It would be nice to add examples using dune.

This can be done along #113.