grevmul by a constant x is a bitwise-linear function that can be represented by a block-matrix with a neat recursive definition