Schemeのlexical rule、マトモに実装している処理系ってあるの？
たとえば、+で始まる識別子へのバインド

(define +v 100)

vscheme : 通る
DrScheme : 通る
rhizome : 通らない

r5rsを読むと通らないのが正確みたいだけど