Statistics for Type-Safe Tree Transformations for Precisely-Typed Compilers