static bool nlLogic_isFunc(Exp e, S name) {
  ret e instanceof Func && eq(e/Func.name, name);
}