Async/await type checking and scaffolding for state machine and node rewriter.