Rewriting the section about union types