static <A, B extends IVar<A>> L<A> getVars(Iterable<B> l) {
  ret map getVar(l);
}