Adding in NFA type