A continuación expongo cómo lo resolvería yo. Es probable que existan soluciones más cortas:
1) Primero definimos una función $f(m,l)$ que cuenta secuencias decrecientes de longitud $l$ con límite superior $m$ . Vemos que $f(m,l) = C(m,l)$ ya que corresponde a la elección de un $l$ -de un subconjunto de elementos de un $m$ -conjunto de elementos.
2) Vemos que hay $l+1$ formas de formar tuplas $(a,b)$ s.t. $a+b = l$ . Estos son $(0,l), (1,l-1), \ldots, (l-1,1), (l,0)$ .
Con esto, contamos
$g(l) = \sum_{j=0}^l \sum_{i=1}^n f(i-1, j) \cdot f(i-1,l-j)$
para obtener el número de secuencias de longitud total $l+1$ (el valor máximo, $i$ se empalma en medio de las secuencias).
3) Ahora las secuencias deben ser "rellenadas" con elementos repetitivos. Este es esencialmente el problema de $k$ bolas indistinguibles en $l$ cajas distinguibles.
Esto se suma para todos los $l$ .
$\sum_{l=1}^k C(l + k - 1, k) \cdot g(l-1)$
da el número de secuencias unimodulares.
La fórmula cerrada podría existir, y Maple/Mathematica podría incluso servírtela directamente :-).