> Is there a way to somehow preprocess a value before the widget machinery tries to type-match it? If so, we could run CERA through a centrifuge that moves all symbols to the end of the list.

Of course there is, and here is the patch with the centrifuge installed.
(It may reorder the list if edited this way but again, this shouldn't be much of a problem in practice.)