Describir: Extensión de un sistema de tipos gradual para registros usando tipos unión