opaque
instead of abstract
in QuotientAlgebra
#1078
Merged
opaque
instead of abstract
in QuotientAlgebra
#1078