DFA.ts now compiles