Make input and output lore the same in simplification engine.

The old scheme was simply too crazy and prevented things like the
explicit allocations representation from ever surviving a trip through
the simplifier.