Encoding Invariants in Data Structures

Ensure data integrity at the type level to remove runtime validation requirements.