Rename some defuns for consistency and symmetry with the upcoming MAFSAs
Add minimal acyclic finite-state automata.
Add `folio-mafsa-insersect' for intersecting a MAFSA with a DFA,
e.g. a dictionary with a Levenshtein automaton.