General Subobjectclassifier

What do you mean?  Are you looking for one of
```coq
abstract (foo; bar).
first [ abstract foo | abstract bar ].
abstract first [ foo | bar ].
```
?