Add support for symbol rescaling to the indexing map
Add support for symbol rescaling to the indexing map

Rescaling allows symbols that are constrained by a modulus expression:

```
s_k mod C = [N, N]
```

to be replaced by:

```
s_k -> C * s_k + N
```
