update semantics of CIsBlock

Word8s are also not blocks
update prim1_to_bc_thm
update usage of Ref and Update in closure compilation

they need an index/length argument now
got order of arguments to Update wrong
update compile_closures_thm and dependencies