io.encodings.utf7: better encoding using the group-by combinator
io.encodings.utf7: decoder implementation, doesn't support utf7imap4 yet