IT WORKS. Near-total rewrite of NFAtoDFA.