Merge work on CP-with-fixed-points.
Update Propositions-as-Sessions GV examples for new terminate, new
GV parsing rules.