cleanup and (re?)prove boolset_in_bool