Wrap in another option

https://gitlab.science.ru.nl/harmvs/material/-/blame/master/ocompl/lib/tokens.ml#L105

So when whitespace no ignored tokens in the list, a bit cleaner. ALso returns are easier to match but still need the token option for whitespace just remaining is shorter.