PR #3233 cleanup

- `::.head` became a `val`; excessive accessor removed
- SerializationProxy moved to `object List`