Statistics for Direct and Expressive Type Inference for the Rank 2 Fragment of System F