Expand text around examples and GV typing rules.