P.S. Wikipedia gives for boojum: “A fictional animal species in Lewis Carroll's nonsense poem The Hunting of the Snark; a particularly dangerous kind of snark.”
“But if ever I meet with a Boojum, that day, In a moment (of this I am sure), I shall softly and suddenly vanish away— And the notion I cannot endure!” On Jun 30, 2021, at 5:16 PM, John Rose <john.r.r...@oracle.com<mailto:john.r.r...@oracle.com>> wrote: Maybe, in some of these schemes, null is not a primitive, but boojums and boxes are the primitives, and null is a (safely) boxed boojum?
