We need a widget to select multiple options from a list.

Similar to HTML Select with multiple, but greater usability.

I think this should be built on OptionList, but have a checkbox by each item. The return value should be a tuple of values.

I don't think we need a overlay (like Select). Since this is designed to show multiple things, it probably should be multiple lines long, scrolling as required.