Bug fixes: existential type constraints - reuse existing `ex_type` entry; splitting answer - use conclusion location rather than premise location for the scope of a constraint.
Plan for overhaul of the type system: flatten nested existential types.