ptype: probabilistic type inference