redone: improved conversion to use a default sink
redone: dfa: fix matching bugs
redone: conv: removed TODO
merge branch 'dfa-conversion-optimisations'