cancel opening Function._∘_, since it clashes with the symbol of DFA concatenation
datatype NFA  defined