Only autoderef through one box

[msullivan]

Right now we can autoderef through multiple boxes (and we can do things like "(@@@@7) + (@@2)". This seems a little silly. I think we might want to restrict it to just go through one box?

What do people think of this? (Relatedly, I think could use a "bikeshed" label and a "language" label.)

[msullivan]

Hm. One issue is now that we also autoderef through resources and unary tags. While it is somewhat silly to autoderef through two boxes it is less silly to autoderef through a box and a unary tag...

[marijnh]

Exactly. Especially when calling methods or dereferencing fields, having deep autoderef can save a lot of syntactic clutter. I vote we keep this as it is.

[msullivan]

Yeah, I think I am going to close this bug.