implicit arguments in quotient.v, close #447

Why remove the notation [setrel] here?