Restructured transition semantics (mostly untested).