Should Exist catalogueValue-semantics support in MojoA programming language and standard library make immutable value-like types easy to express and use safely.