[math-fun] carryless multiplication (or other techniques?) for bit-permuting