Add pointers to symbolic arrays

Only unary increment and decrement pointer arithmetic
are currently supported.