Issue 9885 - IFTI should consider known tuple types

http://d.puremagic.com/issues/show_bug.cgi?id=9885