[dict-fe] support detailization on superset-subset relations

[0xffff00]

suppose A contains B, B contains C
if we want to describe C, A is too large, and B is more specific and accurate.
so, it is called detailization of A for C

now dict database only has relation 'A ->C' and we want to insert B into it.
expected actions:
del A->C, add A->B, add B->C,
finally, A is not C's direct parent node.

• every my superset can be detailized to its ESR subset
• every my definition can be detailized to its ESR subset
• my ESR subsets can be batch detailized to my ESR subset and non-detailing will be ignored.
• my ESR instances can be batch detailized to my ESR subset and non-detailing will be ignored.