Adding contracts for some of "Component.For<T>" and below.