ddc-core: add missing inst rule in type inferencer