Move tagged union explanation

Move explanation of tagged union above the language semantics to prevent confusion when reading the language semantics.