Scheme: Add forAll lens
Add TypeVars: newVar instead of Set.singleton everywhere
Export ~>