don't export EquivDec because it breaks <> notation.
adding a lemma about equiv_dec to facilitate rewriting.
moving the RelDec instances into their modules.

- proved RelDec_eq_nat.
Merge branch 'types' of github.com:coq-ext-lib/coq-ext-lib into types

Conflicts:
	theories/Data/Nat.v