update with info about `Option`, `Some`, and `None`