Just a couple of quick thoughts from my part, now let's move this to some GNOME list :-)

Cheers,
Florian

[0] https://wiki.gnome.org/Design/Whiteboards/Menus