implicit arguments in quotient.v, close #447

It was, because I thought of these as hacks that would only be of interest to someone editing the code.  But I could be convinced otherwise.