[exec.snd] Fix spelling of exposition-only query-with-default function (#7905)

Author: ericniebler

source/exec.tex

@@ -1436,7 +1436,7 @@
 \begin{codeblock}
 [] {
   auto [_, sch, _] = sndr;
-  return @\exposid{query-or-default}@(get_domain, sch, default_domain());
+  return @\exposid{query-with-default}@(get_domain, sch, default_domain());
 }();
 \end{codeblock}
 \begin{note}
@@ -2822,7 +2822,7 @@
 the expression \tcode{starts_on(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(starts_on, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.
@@ -2962,7 +2962,7 @@
 the expression \tcode{schedule_from(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(schedule_from, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.
@@ -3156,7 +3156,7 @@
 the expression \tcode{on(sch, sndr)} is expression-equivalent to:
 \begin{codeblock}
 transform_sender(
-  @\exposid{query-or-default}@(get_domain, sch, default_domain()),
+  @\exposid{query-with-default}@(get_domain, sch, default_domain()),
   @\exposid{make-sender}@(on, sch, sndr))
 \end{codeblock}
 except that \tcode{sch} is evaluated only once.