Bug fix: most downstream variables in answer splitting. Substitute solved binary predicate variables in `ex_types`. Fixed postprocessing and printing of existential type schemes.