Tweak HOL stuff to do with projection/restriction.

Prose still needs adjusting.
Making planning_problem definition look even nicer.