Zig and the design choices within

De Bruijn notation, and why it's useful