Notice that level signatures subsume level types: the level type of a non-projective edge is the component level of any of possibly several component roots closest to the root of the whole tree.
the level type of an edge is equal to the largest component level occurring in its level signature.