Add basic support for folding constant RTVars
Add basic support for folding constant RTVars

This allows turning dynamic HLO operands into a index expressions when the HLO yields some constant value.

As a first step this is adding support for the HLO ops `constant` and `iota`.
