The different branches do not share parameter variable now but rather the parameters should be made equal in the solution.
Overhaul of disjunction pruning during normalization. Hack in printing existential types (related to parameters) will need cleanup. More logging.