Sketch of how Delta could look like
Nicer definition of Delta for NFA in DSL