I'm not entirely sure this is valid. I'm happy to be shown that I'm wrong, but it doesn't seem to support environments meaning that you couldn't implement define, making it essentially not a scheme interpreter.

I'd be impressed by an actual implementation of R5RS in a small line count, but this just seems to be a calculator with lambda expressions and lists.