This made me chuckle. If anybody remembers the dim and distant past of various singularitarian mailing lists on the internet, you might remember Eliezer Yudkowsky's theoretical 'annotative' language Flare[1]. It was one of the early steps on the (what was then quite straight in some people's minds) line to AGI.
As for this, possibly worthwhile for the authors to look into Dragan Djuric's work, he's done some really fast matrix stuff on Clojure[2].
1: http://yudkowsky.net/obsolete/plan.html#tech_comp_flare
2: https://github.com/uncomplicate/neanderthal