Today one of the best "Not really Unix, but close" it's called Guix(SD) and it's bound to Scheme. And without C, forget about having a kernel and a Scheme compiler.

The best env to complete SICP it's, paradoxically, a Unix like system written in C with an Scheme DSL to set up the system declarativelly.