crypto.aes: type gf-mult explicitly
crypto.aes: type nxtimes explicitly
crypto.aes: coerce nxtimes result to byte-array
crypto.aes: specialized flip for blocks

This decreases performance slightly, but is necessary for further
static typing which improves it a lot (see next commit).
crypto.aes: type explicitly elementary operations