Residual task from #2112. The translations for []/@ aren't done; it's only parsed, typechecked, etc. Nothing uses or needs it yet, really, but it should get done.
