This looks nice and feels right in terms of syntax. I'm not sure I see the value of exposing the borrow checker to the user however; couldn't it be used implicitly while handling the s-expr to c compilation? In any case I'd love to talk more about it, can I reach out via the github project?