Vou reescrever parte dos meus comentários como resposta à pergunta
Como funciona a ordem das operações no R?
@DanielFalbel, o que você disse tem a ver com o conceito de "precedência" e está definido em ?Syntax, que mostra a precedência de todos os operadores do R. Abaixo copio o texto do help do R, mostrando a hierarquia dos operadores (o primeiro é o que tem maior precedência):
:: ::: access variables in a namespace
$ @ component / slot extraction
[ [[ indexing
^ exponentiation (right to left)
- + unary minus and plus
: sequence operator
%any% special operators (including %% and %/%)
* / multiply, divide
+ - (binary) add, subtract
< > <= >= == != ordering and comparison
! negation
& && and
| || or
~ as in formulae
-> ->> rightwards assignment
<- <<- assignment (right to left)
= assignment (right to left)
? help (unary and binary)
Note que %any%
(ou seja, qualquer operador definido com % %
) é um deles. Ou seja, ao definir um operador %<%
ele tem precedência menormaior que +
, mas maiormenor que ^
(note que no seu exemplo exp %<% 2 ^ 2
dá o resultado que você queria).
O problema (problemão) é tentar mudar a precedência da sua função. Uma solução trivial seria utilizar parênteses,
exp %<% (1+1)
mas pelo que disse você queria evitá-los.
Dando uma olhada nas definições dos operadores, eu acho que se for possível essa tarefa pode ser bastante difícil (precisará provavelmente definir classes que trabalhem ao lado de operadores primitivos explicitamente), mas posso estar errado. Veja ?groupGeneric e ?S4groupGeneric para alguns detalhes sobre como os operadores primitivos são implementados.