new names for range/index propagation/elim
basic index elim seems to work