CatCryptCore.Nominal.NameAbstraction (shim)

The nominal-sets theory lives upstream in the nominal-lean package (namespace CatCrypt.Nominal); this module re-exports Nominal.NameAbstraction and preserves the CatCryptCore.Nominal.NameAbstraction import path for downstream code.