> there are probably ways to provide the discoverability of current menus, e.g., just list all the main menu items under each other, then typing a main menu item will show its items...

Tabbing to autocomplete anD double-tabbing to list all alternatives, just like a terminal?