Emacs Internal #03: Tagged Union, Tagged Pointer, and Poor Man's Inheritance