Add practical casting operators to the Tagged structures.

It greatly simplifies writing code using those structures.