Major change: removed sort inference. Storing existential types `ex_types` with full type schemes. Fixed order of structure item injection. Printing existential types fixed.