Fix some relics from the past

[maartenflippo]

• Integers which model booleans don't have a fixed upper bound of 1.
• Don't do conversion between integers and booleans in any nodes other than the bool2int.