Issue with pretty-printing nested proxies

If I have a nested proxy: `@(@"Hi")` it pretty-prints as `@@"Hi"` which isn't valid syntax:

```
Unable to parse module:
  unexpected @@
  expecting type
```