implicit arguments in quotient.v, close #447

`setrel` isn't defined here, since it's local to the module `Quotient`, I believe.  This does raise the question, though, of why `setrel` is defined only within the module `Quotient`.