GHC 7.7 (type-nats branch) and decidable equality

Typeable equality is broken in HEAD now
(missing Typeable instances for (n :: Nat)),
therefore old Eq instances are commented out.