Added type signatures to Breaking ciphers