This looks great. The S-expr syntax is my favourite, though I'd have preferred a Clojure-like one personally, a CL inspired one is still fine. Some of the down

This looks great. The S-expr syntax is my favourite, though I'd have preferred a Clojure-like one personally, a CL inspired one is still fine. Some of the downsides mentioned can easily be taken care of by a macro I believe. Like the path traversal can be flattened with a macro most likely. Same thing for the type definitions.