static <A> S renderSuperpositionSummary(L<Map<S, A>> options) {
  ret "Have superposition of " + nOptions(options) + " for variables " + allKeys(options);
}