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