Simplify forSome statements into wildcard existentials (fix #471)

[wiwa]

Also fixes #353

This will prevent unreadable existential types from being ascribed, as well as circumventing a bug where an existential type might be qualified: Box[MyScope._1] forSome { type _1 ... }.

[CLAassistant]

Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

Win Wang seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}