Optional Types and Leaf: Removing automatic dereference Optional values are one of the fundamental extrinsic types in Leaf, as are shared values. Originally optional values were used just like regular values, dereferenced