Simplify dispatch and block body logic. Eliminate Block type. Unify functions with and without a dispatch function. Now only generators need a closure for holding state since the dispatcher is in a loop instead of an inner function.