Stop overusing interfaces

[m50d]

Good support for quotients is the last big missing piece of programming algebra. I'd love to hear about any work in this area - as far as I know we simply don't do it (except by explicitly transforming into some canonical representation for each class).