Figure out how an inferred PIR type corresponds to the PLC type of the compiled term and test that

[effectfully]

PlutusIR.Test.compileAndMaybeTypecheck type checks the given IR term, compiles it and infers the PLC type of the result. For better test coverage it would be good to establish the relation between the two and test that it holds. Maybe not only in compileAndMaybeTypecheck but in other functions too (which ones needs to be figured out as well).

Michael commented:

This will be non-trivial because of the escaping types issue. Many of our example PIR terms have datatypes in their top-level types, whereas the compiled PLC term will have the compiled equivalent of that type (which will be something very complicated).