One interesting way to extend this is to implement ‘call with current continuation’ or call/cc from Scheme. It’s a great challenge. I’ve done it in the past with rewriting the interpreter to continuation passing style. This also make it easy to implement breakpoints and a whole debugger for the interpreter. I still have it running here: https://csokavar.hu/projects/mini-scheme/