ddc-core: fix instantiation of existentials against concret types in application