add `CornerStones::DefinitionList`