Also Lisp in Small Pieces while being very comprehensive does not have some of what you requested.
What is it missing? At the moment, my highest priority is the syntax-rules macro system. Does Lisp in Small Pieces show how to implement a hygienic macro system?