implicit arguments in quotient.v, close #447

I would suggest, at least, making it file-local rather than `Quotient`-module-local.