This looks amazing!!! I am also working on a statically-typed language that aims to be fully inferred and have no type annotations, I will definitely be gleaning Ikko's design and your blog for insights.
Thanks! Feel free to reach out to me if you have questions