Computing quotients!

Quotient-equality logic stolen from Conor of course:
http://www.e-pig.org/epilogue/?p=319

(Now Agda isn't sure that this terminates. Seems morally sound though.)