In particular, this permits defining a C#/Java-style interface keyword without baking it into the language.