core: Make PrettyTypes use PotentialAnnotation to format annotations.