CP to GV servers
duality and linearity for servers
Type checking and translating servers to CP