implicit arguments in quotient.v, close #447

How do you make something file-local?  The reference manual suggested to me that `Local Notation` was local only to a module.