compiler: permit expressions of abstract bool to remain abstract