Coamenability canonical pcqg

Added new (and final?) section, minor modifications in rest of document