ddc-core: insert type application during type synthesis