Some IList finality & improved inference.