XinX is just Clojure done right: abstracted from host platform formally specified adhering to "fail fast" principle no implicit type casts, calling keywords and records as it be functions, etc sane module system