Simplified operators, to be the same. Removed unnecessary strict type synonyms.
Introduced automatic instance creation using the instance-control package. Removed Template Haskell based alternative. Removed unnecessary dependencies.