a few missing deprecations in proxy collections.

SeqProxy was properly deprecated, so were the CollProxyLike classes, and
the ones in collection.immutable, but these four somehow survived
the Big Proxy Deprecation (tm).
Merge pull request #3907 from gourlaysama/wip/proxy

a few missing deprecations in proxy collections.