Extend a generic query by a type-specific query. The function created
by extQ def ext behaves like the generic query def
if its argument cannot be cast to the type b, and like the
type-specific query ext otherwise. The name extQ is
short for "extend query".