Added value-level dimensionality function which reflects the number of Composes (+ 1) of a type down as a value level number.