I've now published my post about type inference + projectional editing 🙂 thanks for the feedback! https://jaredforsyth.com/posts/type-inference-that-sticks/ (HN)