prove cheat in toBytecodeScript.sml about IsBool

Renamed it to IsBlock. The goal was false because I forgot about the
unit literal. Updated the semantics, and proved the cheat.