"Brian Hulley" <brianh at metamilk.com> writes: > You'll never believe it but I've been struggling last night and all of > today to try and think up a name for the following type and I'm still > nowhere near a solution: > > data ??? = VarId | VarSym | ConId | ConSym Perhaps Atom.