Copied contents of IsEq and HasEqDec module types to add decidability and Equivalence property w/ short explanation of why Include won't work