some minor corrections to first monad article, renamed files