What about children who are desperate to start formal learning earlier than seven years old?

Then they would be encouraged to explore these interests, as child-led learning is a fundamental remit of this policy, whereby teachers offer learning opportunities based on the interests of the child.