fix some obvious pldb bugs
formatting
need to remove failed unifications
tail of Choice needs to be -inc
update project.clj, tweak tests