Protocol Compositions and Memory

Use protocol composition to restrict types to memory-safe, value-only behaviors.