Here a sample for the resolver usage. Resolver lets you
computes a custom function a custom symbol while evaluating
the expresion. 

We add a "sumi" function that computes the sum of n first integers
by ( n * ( n + 1 ) ) / 2.
We add a "PI" symbol and a "random" value.