ExecutionPlan
data EChild
type EChildren
data ENonterminal
type ENonterminals
data EProduction
type EProductions
data ERule
type ERules
data ExecutionPlan
data Visit
data VisitStep
type VisitSteps
type Visits