The Covering property Axiom, CPA. A combinatorial core of the iterated perfect s