Add support to specify Haskell typeclasses for deriving (and some cleanup)#977

carlostome merged 3 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

carlos/allow-custom-class-deriving-haskell+cleanupIntersectMBO/formal-ledger-specifications:carlos/allow-custom-class-deriving-haskell+cleanupCopy head branch name to clipboard