minor mistake in def of prim1_to_bc

was using CIsBool (which was treated as a variable) instead of CIsBlock
some minor cleanups of some lem files

hiding unused variables, deleting whitespace