Expand description

Implementations of ModPowerOf2Square](malachite_base::num::arithmetic::traits::ModPowerOf2Square) and ModPowerOf2SquareAssign, traits for squaring a number modulo $2^k$.