A program as a sender names it: its name, with its types, and none of its code (decision 0183). send and create
take a reference or the program, and reach the program the runtime deployed under the name.
reference<typeof p>(name) makes one where an import type of p brings only its types.
Only a type, never set: it carries T to send and create, which infer it. A program has none, so that a
program stays assignable to one of wider types, as tests of migrations write.
A program as a sender names it: its name, with its types, and none of its code (decision 0183).
sendandcreatetake a reference or the program, and reach the program the runtime deployed under the name.reference<typeof p>(name)makes one where animport typeofpbrings only its types.