Def equiv.punit_equiv_punit

chore(logic/equiv/basic): split into two files (#17038) …

fix(.): unit is now an abbreviation: unit := punit.{1}