>>1
Essentials of Programming Languages, and Lisp in Small Pieces are the definitive books on Lisp implementation. I'm in the same position as you though in terms of having understood the meta-circular interpreters in The Structure and Interpretations of Computer Programs, The Little Schemer, and The Seasoned Schemer, but not a full implementation.
I will note that the interpreter from The Seasoned Schemer does have continuations, and you can implement an exception system in terms of continuations. Also Lisp in Small Pieces while being very comprehensive does not have some of what you requested. Reading other implementations, or papers on optimizing scheme would likely be your only help if you got stuck after this.
You should also consider targeting an older version of the standard at first. R4RS doesn't have a module system, and doesn't require hygenic macros for example. It's perfectly valid to conform to an older version of the standard, these are not invalidated by future revisions.