Change `return` to `$result` for method return values in refinements

@rajshivu ya está trabajando en esto.

Desde el 9/2/2026.

• #145 de @rajshivu — abierto

`return` is a statement, and it's strange to have it as a variable to represent the return value.
Therefore, we could change it for `result`. But since result can be an actual variable that represents something other than the return value we, we can try using `$result`.

This would mean a small change in the grammar, probably, and a change in replacing the return value.
Ps: the _ should still work in any case

Example Before:
```java
@Refinement("return > 0")
int test2 (){
return 10;
}
```
Example After:
```java
@Refinement("$result > 0")
int test2 (){
return 10;
}
```

Comienza localizando la gramática de refinamiento y el código que reemplaza o comprueba los valores de retorno; el issue menciona ambos, pero no indica archivos ni tests. Compara el manejo existente de `return` y `_` con la sintaxis `$result` propuesta, y considera el pull request abierto antes de empezar. Se considera terminado cuando la nueva sintaxis funciona sin romper el comportamiento existente.

Escrito por el modelo de indexación a partir del texto del issue.