Improving the UI of generics

[bdriscoll (Benjamin Driscoll)]

Yes, I'm working on an implementation of general opaque result types, i.e. func foo() -> <T> T where T.U == Int.