Finish the last part of NormalizeExps, which enforces that EIndexScalar arg be a triv.