implicit arguments in quotient.v, close #447

Yes, it would, and probably some other names could be improved too, but I wasn't attempting a renaming pass at this time.