Thank you everybody who commented so far (@paprof welcome to the forum!), keep it coming.
There was a very important discussion here about how to handle implicit typing going forward, which I split into a dedicated thread here (this topic requires a deep discussion):
So that we can keep this thread to just suggestions to present to the standards committee.