add TODO in prettyprinter about printing plans (to end-users)
tweak for printing plans which don't have any deeds (anymore)
minor tweaks
also 'revert' some changes in the pretty printer a bit if there are no
checked places in which toString with descriptions does something really
tweak some more output (duplication)
remove extra space
only print out relevant parts of a unifier for plans (as we no longer