A state node specifies a state configuration.
type() :: :atomic | :compound | :parallel | :final | :history