Improved search: Comments panel

Introduce numeric search type for aliases, which casts search terms to numbers before equality testing. Unlike boolean aliases, partial matches of terms are not permitted for numeric column aliases.

The fact that other aliases accept partial matches is an undocumented feature. Paradoxically, now documented.