A few miscellaneous changes

[dwightguth]

This contains a few changes too small to warrant their own PR:

• boolean literals
• default value when looking up state variables
• return value bug fixes