Implement some(x) (half of maybe types).

We don’t implement ‘none’ yet, but what we have should be enough to do optional arguments.