tweaks, better support for quantifiers over bool