This looks really cool. I've always thought that PreScheme was an interesting idea, it's been on my list of "maybe in the future" projects for a while now. This

This looks really cool. I've always thought that PreScheme was an interesting idea, it's been on my list of "maybe in the future" projects for a while now. This looks like a pretty nice update to it. I'd imagine that the combination of type inference and macros could lead to some really incomprehensible error messages, though.