Get Π.I etc to print as $I$ etc, and note that we're doing this.
Make DRESTRICT print with pretty down-harpoon.

Still to overload other constants to same notation.
Making planning_problem definition print slightly nicer.
Various minor tweaks up to and including sublist