Re: surface syntax, you might also want to consider SRFI-105 i.e. #!curly-infix. Briefly, this converts {a = b} to (= a b), {{a} < {b} < {c}} to (< a b c), etc.
Re: surface syntax, you might also want to consider SRFI-105 i.e. #!curly-infix. Briefly, this converts {a = b} to (= a b), {{a} < {b} < {c}} to (< a b c), etc.