[john_miller]

btw it's "type inference", not "type interference"

[Matthias247]

thanks - I'll try to remember it. Fixed the text