Expand description

Implementations of ModPowerOf2Neg and ModPowerOf2NegAssign, traits for negating a number modulo $2^k$.