states and edges
multicollection views
concat-view
resolving errors
nfa implementation
defaulting type parameters
basic nfa