A declarative superset of Zig for Language Servers

Hear me out, I’m not advocating for adding declarative constraints or any type algebraic wizardry to the language, I’m rather interested in brainstorming and standardizing the notion for structural, declarative types commonly arising in static analysis. A semi-related example (also canonicalized by the compiler as of now) is anonymous union tags in the form of @TypeOf(U).@"union".tag_type.?. In my ZLS fork, I denote non-fully-resolved integer types in the form of @Int(<signedness>,<bits>) (e.g. ...