- rewrite DFA construction to use bitvectors (vector<bool>)
- fix `A{n,}' handling
