> Yes, I think we should document it near type-of, as the explanation
> when and why to prefer cl-type-of is quite simple and easily
> understandable.

OK, here's a new (set of) patches (also available in the
`scratch/object-type` branch).  I added the doc as well as a test
(which pointed to the `subr-primitive-p` problem), and an additional
hunk which fixes the `subr-primitive-p`.


        Stefan