Cons, don't nconc.
Overhaul the NFA to better deal with list-like parametric states.