Memory Layout and Zero-Sized Types

Leverage ZSTs to encode state at compile time with zero performance cost.