(all-attrs fsch f)
finds all attributes satisfying f in a schema
f
(all-idents fsch f)
finds all idents satisfying f in a schema
(is-reverse-ref? attr)
predicate for reverse ref