`union` for read only sets
Fix union for read only sets
Improve documentation