Fixed null property bug in CompactDFA; added fluent automaton builders