Instead, we keep the original tyvars. The plan is to exploit type relationships among closures to recover more types.