Use lens in Yi.Buffer.Region