Type annotator sets the type on a few more expressions, and the XML printer also handles them.