Remove ChaChaXCore types#512

dhardy wants to merge 5 commits intoRustCrypto:masterRustCrypto/stream-ciphers:masterfrom

dhardy:push-mwypnskzympudhardy/stream-ciphers:push-mwypnskzympuCopy head branch name to clipboard