Moved back to proc's instead of unboxed closures.

Sadly they're not just stable enough, I hit a bunch of ICE-s. Will switch back
when they're a bit more stable.
Added another test and Operation->SyncFuture