[TODO] Problem: $p2i

Some erronous example with the unsolved arithmetic function $p2i should be considered.

It turns out $p2i enables using of ptr arithmetic in a var arithmetic formula.

For implementation advice, we should integrate the translation of data arithmetic function and ptr arithmetic function into one functionality with function like $p2i.