Remove redundant brackets
Added extra functional dependencies and a type to make a subgroup a group
Added types to make a quotient group into a group
Added types to make a quotient group into a group
Mixed up tpye and constructor. Added needed extension
Added needed extension
Fixed misspeings
Fixed functional dependencies. Made equality require quotient instance
Corrected order of arguments for constructor
Corrected order of arguments for constructor