Update documentation to include union type examples

[mivade]

Examples are needed in the documentation to demonstrate usage of union types (see #42).