Migrated all the custom tagged types to the new builtin infrastructure.