[proposal] Abstracting over async (the yields effect)

I propose that we replace `async` with a `yields T` syntax, that allows us to abstract over whether a function/trait/library contains suspension points.

Signed-off-by: Nick Smith <[email protected]>