some progress on printingScript.sml

The new side-conditions can be seen on compile_print_dec_thm.