I want to be able to write `x := y` and be sure I don't have mutable slices and pointer types being copied unsafely.