Renamed Transition to Token

Renamed Transition to Token because it is actually tokens that are being
described, not state transitions.