Atomic reference counting for shared types

[wilzbach]

e.g. for arrays

Also lacks a ton of tests for shared

[edi33416]

shared collections currently aren't supported, just mutable, const, and immutable