Finish 4.0 workflows wrapper types

let!, return, and return!