test for `forSome` existentials
new feature: rewrite existential types using `forSome` to bounded wildcards