Minimal TypeScript state machine library with compile-time safety through Type-State Programming where states are types, not strings.