Examine some of the debug-only checks in copy functions, it seems they may need a bit of work
Support copying from spans in more scenarios.
(Not right now: 3. Drop support for copying from (untyped) regions to typed entities. We have spans, after all, or raw pointers.)
Let's: