coined the term "interpretive type inference"