Streamlined syntax for printing existential types, consistent with parsing. Some tests cleanup.