added Optional<T, TRAITS>::CheckedValue ()