Made pc tag be unit for sealing

Still have a small problem on line 199 of sealing/refinementSA.v