int and pointer to int are two different types. Pointer-to-int being an option type does not make int an option type. So there are still option types and non-option types.
(Using the prevailing terminology. I'm not sure I'm comfortable with this use of the term "option type", but I'm rolling with it for now.)
