start updating compilerProofScript.sml

prove label_closures_thm and some other lemmas. up to printing.