Compiler proofs build with 1 cheat

In printerScript.sml for the case of printing a declatation that is a
type abbreviation. Nothing is printed, so this should be an easy cheat
to fix.