Fix scoping rules for &&, || and ?:.

Variables created on the right-hand-sides shouldn't leak out. Also
remove most of the names for IR values, as they're mostly inconsistent
or redundant and make the generated IR less readable.