Copied contents of IsEq and HasEqDec module types to add decidability and Equivalence property w/ short explanation of why Include won't work
Merge pull request #1 from finrod/master

Resolution for not being able to Include IsEq and HasEqDec