With statement extension

[deed via Digitalmars-d]

Would it be possible to extend current with statement's 
expressiveness by two lowerings:

1) Alias expression/symbol and replace in macro fashion:
   with (a : exprA) { /* use a. will be replaced by exprA by 
compiler. */ }
2) Accept a list of arguments: with (a, b : expr , ...) {} gets 
lowered to
   with (a) with (b : expr) ... {}
As a result, the following would be allowed:

with (aSymb, anExpr, aTempInst, a: symbA, b: exprB, c: tempInstC)
{
    // - current rules for aSymb, anExpr, aTempInst.
    // - a, b and c are replaced by symbA, exprB and tempInstC, 
respectively.
}

For example:

foreach (ref el; elements) with (
    M   : el.aMatrix,
    Ex  : el.someProperties.someModulusX,
    Ey  : el.someProperties.someModulusY,
    G   : el.someProperties.anotherModulus,
    vxy : el.someProperties.aRatio,
    vyx : el.someProperties.anotherRatio)
{
    M = [[1/Ex,    -vyx/Ey,   0],
         [-vxy/Ex,    1/Ey,   0],
         [0,             0, 1/G]];
}

struct SomeProperties (T) {
    T someModulusX;
    T someModulusY;
    T anotherModulus;
    T aRatio;
    T anotherRatio;
    ...
}

struct Element (T) {
    T aMatrix;
    SomeProperties!T someProperties;
    ...
}

Element!float[] elements; elements.length = N;