Smarter compensated-compensated addition using Priest normalization. Added scalar-compensated products.