Programming -- Witnessing Purity, Constancy and Mutability -- Type System -- On the