Did the dynamic typing evangelist eventually agree to noImplicitAny?