I've been working on something like this in Racket, but I'm still exploring the design space (though I worry that I'll spend too much time doing this and never actually be satisfied with anything).