prove updated compile_news_thm, including results about printing

the other involved printing thm will be for number_constructors; the
rest of the printing stuff shouldn't be too hard, but might require some
trial and error to state the theorems properly...