Figure 1: Expression created from Dim(dl)<<d2<<d3

Expr<
     ToupleExpr<
          Expr<
               ToupleExpr<Dim,Dim>,
               2 >,
          Dim >,
     3 >