Removes a redundant monoid import.
Adds an reexport for extQ.