transforming mqutotient expressions



I learned today that defmspec functions sometimes
receive arguments that involve expressions with
mquotient operators; for example

(defmspec $unk (x)
  (print x)
  x)

(%i1) load("c:/maxima/try.lisp")$
(%i2) unk(a/b);
(($UNK) ((MQUOTIENT) |$a| |$b|))  <--- we have a mquotient
(%o2) UNK(a/b)

Question: Is there a maxima function that _only_ eliminates
mquotient operators; thus it would do

  ((MTIMES SIMP) |$a| ((MEXPT SIMP) |$b| -1))  --> ((MQUOTIENT) |$a| |$b|)


Barton