I'm missing one part of the rationale: Why do we need a separate data type? Even in Common Lisp, keywords are symbols.
