`@` operator as alias for `raisedTo`?

[ssoelvsten]

Currently, we use the raisedTo binary operator to add security labels to some data. Yet, when using toStringL an @ is used. Why don't we also allow @ as an alternative in the source code? It seems more consistent and potentially easier to read. It also further highlights it being a language feature as it looks much less like function application.

Here is examples/fromuserguide/ifc_explicit.trp as it is right now:

let val x = 2 raisedTo `{alice}` 
    val y = 3 raisedTo `{bob}`
in x + y
end

And here it is with @:

let val x = 2 @ `{alice}` 
    val y = 3 @ `{bob}`
in x + y
end

This is probably just a change in the Lexer.

[ssoelvsten]

The only problem here might be the confusion with @ in SML which is List.concat.