Fix prettyprinting of existentials