added boolean operators and ~ to CodeGen.sml