Tweaks to state_succ and exec_plan definitions.
Remove unnecessary guff in overrides file.
Get upright \Pi without having to usepackage{euler}
Indent under =, <=> and ==>
Make constants appear in \textsf, and with - instead of _

I think this looks prettier. This change should be easy to back out if
necessary.