Add a deriving framework for WhyML
Follow #306 and Guillaume proposition:
generate equality for enumeration type.
Should we go too [@ deriving eq]
?
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information