Filter abbreviations

These commits make `-no-obj` and `-no-filter` actually mean `(make-NoObject)` and `(make-NoFilter)` instead of `(make-EmptyObject)` and `(make-FilterSet -Top -Top)`.