Program-Oriented Logics of Renominative Level with Extended Renomination and Equality Chapter