Bug fix in answer stratification: sets of parameters for each negative occurrence of a predicate variable. Minor bug fix in building disjunction elimination answer. Better handling of free variables in printing existential types. More logging.