fixes to prettyprinting for ascribe and annotate