We add a WhenSome that'll pass in the actual underlying value, and not just the record. We also add `SomeRecord` to make it easier to create TLV records w/ `Some` set.