redone: improved conversion to use a default sink
redone: dfa: fix matching bugs
redone: conv: removed TODO