Operator member syntax

[DevAndArtist (Adrian Meister)]

Yes please!!!

@dan-zheng

It's currently not supported, but I wonder if it's just a parser deficiency

I once asked this question and received this as an answer:

Why are operators not available as static type members?

Parsing is pretty much the only reason I know of. I think we'd have to always parenthesize it in case someone defines .+ as a postfix operator that applies to types (even though you're supposed to write that Int.self.+), but accepting the parenthesized form seems like it'd be a fairly non-controversial evolution proposal, and it's probably not too hard for someone to implement. Another possible spelling: Int.`+` and Int.`.+`. I might like this one even better because it doesn't even really need…