maybe.hh: add empty(), size() and max_size()