add link to my maven repository to the README
once again a new Exp monad
once again a new Exp monad
some restructuring
add covariance to reporter

- also rename a type member of Exp
add filtering to Exp
improved types for Exp