static <A> S renderBoolMap(Map<A, Bool> map) {
  ret joinWithComma(concatLists(
    allToString(keysWithValue(true, map)),
    prependAll("not ", allToString(keysWithValue(false, map)))));
}