I finally finalized the blog post with the proposed design of the new Sparrow type system. It is still high-level, but I wanted to make sure we have enough understanding of the main features that the design proposes.
Here it is: http://lucteo.ro/2018/07/08/designing-Sparrow-type-system/
Any feedback is welcomed!