turn back on lem warnings, remove some unused variables

the warnings are useful (at least in my code) to see where things are
unimplemented or otherwise going awry.
add compilation of implode, explode, and char literals

to the toIntLang and toBytecode compilers. proofs (and intermediate
language semantics) not updated.