Formalize other classes (all but SemanticArtefact)

[jonquet]

(from old TODOs list)

This is about continuing the formalization of MOD classes especially with the ellicitation of the properties for each of these classes.

• [ ] Double check if properties are for SA or SADistribution
• [ ] mod:SemanticArtefactDistribution
• [ ] mod:SemanticArtefactCatalog
• [ ] mod:SemanticArtefactCatalogRecord
• [ ] mod:SemanticArtefactService