[Pitch 2] Light-weight same-type requirement syntax

Moderator note: I've moved Chris's post to the language workgroups thread, which I believe is where he wanted to post it, but couldn't because it was locked. Please take any discussion of that over there.

7 Likes