With acknowledgement to Lewis Carroll's well-known distinctions-- Since named let is already called named let, and we have already agreed to optionally keep the current syntax, which calls the name of named let a named form of let, why don't we just name it named-let, to minimize the confusion? -- Hal