Decidable predicate ADT
Added typeclass for decidable equality plus instances for commonly-used datatypes
Remove misplaced instance
Merge pull request #193 from david-christiansen/decidable

Decidable equality typeclass