This introduces states as tuples. Implementing tuples to implement
records is a *bad* idea, it is going to die soon.