Alternative & MonadPlus

Potentially resolves #6.

How does this look?
I think it's fine in `control`. It's not an _implementation_ of laziness.