Just having support for a textual representation of the intermediate languages that is easily human readable would probably be good enough. It would let you ins

Just having support for a textual representation of the intermediate languages that is easily human readable would probably be good enough. It would let you inspect the intermediate steps. The source info that's tracked could be omitted in the printed representation, even though it still exists in the in-memory representation.