Add polymorphic session support to GV. Fix a minor typing bug in the
translation of CP client requests to GV.
Fix bug in the GV -> CP translation of sendType and receiveType.
fiddle with macros