• Walk typeId's super-type chain, return true when any link appears in allowedTypes. Empty / missing allowedTypes is the "any" sentinel and short-circuits to true. The walk's own seen set guards against malformed circular chains.

    Parameters

    Returns boolean