the C runtime now supports reading and writing expressions with indexed meta variables. The type checker generates fresh indices