ChoiceModal | One option out of a filterable list. |
CommandModal | The list of what can be pressed right now. It is a reminder rather than a menu, since the keys keep working while it is open and whoever opened it says what a press does. |
MultiChoiceModal | Any number of options out of a filterable list. Marks survive a change of filter. |
OptionListModal | What the single- and multi-choice dialogs share: the options, what has been typed to narrow them, and the cursor. What is typed is edited the way any other line is, so a symbol goes in one press. |