type definition of a Program and is a subtype of the FiniteStateMachineType