ddc-core: trace constructor types during type synthesis