Ownership-Based State Machines

Design type-state machines that transition between valid states using ownership movement.