Many of Zig's fancy type features are in the library, not in the language, because types can be programmatically constructed at compile time.