Variant and Optional Types

You will be able to represent state explicitly without relying on null pointers or magic values.