This study is flawed: the usefulness of type system is not for initial development of a small system, it is for the maintenance of huge code base.

The fact that type system had very small cost for initial development of small system should be seen as an invitation to use strong types.