Renames the 'state' symbols pertaining to transition systems 'transition'.
Adds TODO file.