The typology of cumulativity