Yet more quoting tweaks

(this is hopeless)
Syntax: update types