P2: Foundations of regularity structures