Statistics for Implementing Overloading and Polymorphism in Cforall