DefinitionEdit: Lens operators
BranchGUI: Extract globalEventMap
BottleWidgets.makeChoiceWidget in charge of putting select action into widget
DefinitionEdit: Add meaningless choice of presentation mode for definitions