PR #3233 cleanup

- `::.head` became a `val`; excessive accessor removed
- SerializationProxy moved to `object List`
Merge pull request #3465 from pavelpavlov/list-head-val

PR #3233 cleanup