The inherent complexity of static typing is precisely my argument. You have to demonstrate that the additional complexity actually adds value in the long run. This seems like a prerequisite before you start extolling this approach.