updating various bits of monads, operators, etc.
better lenses using the 4.0 aether, switch to paket bootstrap