Improve type knowledge.