Optimization: avoid generating new boolean expressions when we've already seen both true and false.
Fixes for synthesizing when in constructors and calling constructors.
Merge branch 'master' of github.com:jgalenson/codehint