Raise error when an unexpanded type constant is found in quint IR output

[shonfeder]

As discussed at
#2783 (comment) ,
if everything goes correctly during quint IR exporting, all type aliases should
be inlined before Apalache receives the input. When we find a type where this
has not happened, we should raise an error.

This is being postpone is an issue rather fixed right away, because current
integration tests depend a dump of the quint IR into the JSON serialization, and
we don't yet have a way of dumping the inlined IR to replace those fixtures
with.

This is blocked by informalsystems/quint#1278