Implicit AND and OR of Async<void>

Tests restructured, identity monad removed