ddc-core: update type annots from solved set after inference