Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen: Type-sound Declarative Dynamic Object Reclassification Artefact. Zenodo 2026