Normal Description
This is the follow-up to CASSANDRA-7857, to extend frozen to collections. This will allow things like map<text, frozen<map<int, int>>> for instance, as well as allowing frozen collections in PK columns.
Additionally (and that's alsmot a separate ticket but I figured we can start discussing it here), we could decide that tuple is a frozen type by default. This means that we would allow tuple<int, text> without needing to add frozen, but we would require frozen for complex type inside tuple, so tuple<int, list<text>> would be rejected, but not tuple<int, frozen<list<text>>>.