static <A> L<A> getAllVars(Iterable<? extends IVar<A>> l) {
  ret map(l, i -> getVar(i));
}