I ended the last sequence of blogs about exploring looping, then basically stopped and started to learn about type theory and prolog using Qi.
right now I working with this engine to write a type system that works pretty much like lisp type system e.g. if we can deduce type, then use it! This type-engine will be used to compile Qi to lisp/clojure/scheme/go? or whatever lisp like environment you got.
Cheers!