Page 27 [of draft 6], section 5.5.1: "begin declaration takes a list of expressions and declarations to be spliced literally" -- since library form does not allow expressions or definitions outside of begin form, what is being spliced, and into what?