dict filter dictionaryValue in list
I suggest a new [dict filter] which returns a subset of a dict, equivalent in functionality to
dict filter $dict script {n v} { $n in $list }
and its inverse, ni.
