@loicfaugeron no worries :) there is a meta RFC I wrote a while ago, so slightly outdated, that also explains this: https://github.com/Girgias/unify-typing-modes-rfc