Bug fix in propagation of existential type through unary predicate variable. TODO cleanup.
Minor fixes. Join branches with the same premise.