Added typeclass for decidable equality plus instances for commonly-used datatypes

I added some decidable equality code to your Dec type