Extend with to take multiple arguments

[Amex]

with(A){with(B){with(C){
is quite annoying...

Rather,

allow

with(A,B,C){

Also, B is checked to come from A so one does not have to do

with(A, A.B, A.B.C)

also

have an opWith which is similar to opDispatch for With overriding.