Statistics for Interval Type Inference: Improvements and Evaluations