Add a "@" construct to RRust

[Erk]

The language Hermes has a construct s1 @ s2 which expands into s1; s2; I[s1]; where I means the inverse of s1. This is a common pattern in the examples of algorithms in the HERMES paper: https://doi.org/10.1016/j.scico.2021.102746