A simple mechanism for dynamic robust argument handling
Construct dynamically sized types safely. Supports arbitrary unsized types, not just slices