TODO ==== - finish implementing fast sub-regexes - replace num crate by num-traits - add graphviz support for easier debugging