turn an adhoc into X::ControlFlow::Return
teach the moarvm binder X::TypeCheck::Binding and X:: in general