Discriminator for the branches of an interface/union
compute the concrete type of the value at the cursor
yield a predicate suitable for filtering row corresponding to the supplied type