Add additional side conditions to kappa_times
Clean GV syntax tree; add some details to CPToGV conversion results.
Add GV versions of examples from journal version of Propositions as
Sessions.