More GV tests
Fix silly bugs in the semantics of servers.
Missing cases in the translation of server types.