Minor changes in Section 8.5

Considering that Contract will be deprecated, it should be removed from the Product metamodel: