Statistics for Context Sensitive Typechecking And Inference: Ownership And Immutability