Generalize functors to partial functors.

Generic/Data and an example with Show.

some examples with sets that only somewhat work...

remove the equivalence relation from the DSet interface.

moving some instances around.
Merge branch 'master' of github.com:coq-ext-lib/coq-ext-lib

Conflicts:
	theories/Generic/Data.v