Oops: event map of HoleResult to do pick prefix (missing anim id merge)
HoleEdit: disallowChars now disallows mixing operators/non-operators (on both adhoc and search term)
HoleEdit: Lens style
Widget.EventResult is a Monoid