Adds an reexport for extQ.
Adds combinators for nonsensical input.
Adds epPure, like epValue but outside the Q monad.