Was a little too aggressive with the lossless elab_and_eval

The index expressions ARE self-sized context, we just need to
force the EXPAND flag to make this work.