Statistics for A Path to DOT: Formalizing Scala with Dependent Object Types