Re: recursive un-open

There is certainly a problem with nested opens. If you module A, B and C, and every one of them defines its own (+) then.. 

A.(
  B.(
     C.(  .... + ....
     )
  )
)

parsing the most nested plus became quite ambiguous. 

But something like ^^(...) or ^^^(...) will certainly be bad