[Haskell-cafe] Improvements to crypto-API: CTR CMAC and SIV modes