Improving the UI of generics

[adamkemp]

@Joe_Groff

If not for the limitations on existentials, which IMO have lasted for way too long, they can be used in pretty much all of the same situations.

That sounds very promising!