This adds typing throughout ConditionsWidget, and fixes some issues

that this unveiled. We had typing assumptions, potential unbound

variables, and bad logic when choices or operators were None.
This is in preparation for some upcoming work on the widget for better

extensibility.

Unit tests pass.