Small bug fixes in constraint generation for existential types and little bug fix in disjunction elimination. More logging.