Negative Typenvielfalt, ein mehrdimensionales Analogon negativer Typenmetriken