First try for product of NFA, not woking (check product with automaton accepting excactly the empty word)
Using empty sets instead of None-Option to represent impossible transition in NFA
Some fixes (conversions, DSL)
Merge branch 'NFANoOptionSet' into NFAOwnProdFunctions
Or-Operation without product, And with product
Merge branch 'NFAOwnProdFunctions'