ddc-core: fix type synth bug. consider equivalent types with different names to be subtypes.