TODO.

TODO.md

@@ -5,6 +5,8 @@
   `CARDINAL` and so that `encode` and `decode` work with
   indices instead integers.
 
+* Propose higher-level APIs (to be determined) for `Minimize`.
+
 * Perform serious testing of `Minimize`.
   Try to find an online suite of (DFA, minimal DFA) pairs.