Hi, author here. If you want to play with the language try the language docs that includes executable playgrounds: https://lang.boomla.app/types/boolean
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.