Just want to say this is the most ergonomic take on value semantics I've seen. The "~" is cleaner than Swift or Hylo's "inout" keyword.