Which (breaking) changes would you be willing to accept in a major language release? [+ Feature wishes]

[DevAndArtist (Adrian Meister)]

So here are my personal parts of the language I'd happily accept breaking changes in:

• where clauses (in extensions) in regards to type inference. There are type inference rules in the language which makes the where clause partly unintuitive to use as it yields somewhat unexpected results.

• The release / removal of of the .Type and .Protocol. A nested Kind type does not always fit. A general rebranding of metatypes (possibly with a meta keyword, like any and some) would be very welcome.

• Label rules alignment across the entire language including subscripts and operator functions.

• A shift from public protocol to open protocol, where open protocol would mean that the user of a framework can conform their types to that protocol, while he/she can only use or view a public protocol, but not conform any types to it. This is also known as "closed protocol".

• A rebrand of private into private(file) and fileprivate into internal(file) where (file) would be a limiter just like (set), while introducing the new private which would be type-private by default.

• (possibly) A breaking change to key-paths where the types would also be able to store data for effects such as error types or possibly even the async-ness (if that's even a term).