Update document of Qualify monad.
Update export lists.