draft of Enum type (restartable generator a la Batteries)
signature for a Lazy Graph