Indeed, `Grapheme.init` is the empty flag. The idea is to formulate it so that `front` and `empty` are as cheap as possible, with the work done in `popFront`.