Tesseract and K(G,n)-η

• Added strict canonical Nat to Kernel for spectral goodness at higher homotopies.
• Fix constcubes.anders module with improved DNF solver in formula.ml.
• Constructive K(G,n)-η in KGn.anders.
• Sn.anders and truncation.anders are using inernal Nat.
• Homotopy Nat with homotopical canonicity (only) is in natw.anders module.
• Updated Article: https://anders.groupoid.space/doc/anders.pdf