Add missing instances for `Duplicable` and fix `Hint Immediate` for `persistent_duplicable`
Following the merge of !481 (merged) instances of Duplicable
for <subj>
and embed
should be added.
@robbertkrebbers has kindly offered to do this.
Following the merge of !481 (merged) instances of Duplicable
for <subj>
and embed
should be added.
@robbertkrebbers has kindly offered to do this.