Statistics for Pluggable Properties for Program Understanding: Ontic Type Checking and Inference