static <A> IVar<A> varInConcept(Concept c, IVar<A> v) {
  ret new VarInConcept(v, c);
}