We want to be able to write macros that have several top level splices such as ```scala inline def foo(b: Boolean): Int = { if (b) ${bar(true)} else ${bar(false)} } def bar(b: Boolean)(using QuoteContext): Expr[Int] = if (b) '{1} else '{0} ```