Changes AQResult so that it can be used as alias.
Improve the typesig of epPass''
Adds epResult and renames epDiffer to epValue.

epResult is a context dependent result. epValue is a context dependent value
(in the Q monad), which is far clearer from the name epValue than it is from
epDiffer.
Ignore combinators as they should have been.

The ignore combinators should have only be commited now, the previous version
was base on functions, while differening results seem more logical.
Fixs the export of AQResult.
Adds aliases for ignore functions.
Improve the documentation of <>>