spection level, disregarding their C types.
A sequence may be given for typeval, in which case
this function returns True if the type is compatible with
any.TF)