Custom select widget for theories

[olynch]

As discussed in #45, we should have a custom "select" widget with type-ahead support.

[epatters]

A custom select widget should also be used to implement the UI for #22.