Add support for the `{Proxy}<<Goal` syntax