allow arbitrary ordering of filter options

via the Filters.sortOptionsProperty option