update some lem-generated files

latest lem now produces fewer unnecessary parentheses
fix up a proof

a case is no longer needed, due (I think) to new automatic rewrites
being added to HOL recently
Merge remote-tracking branch 'origin/master' into Word8Array

Conflicts:
	semantics/bigStepScript.sml
	semantics/typeSystemScript.sml