接口类型的代码协定类的命名约定

System.Diagnostics.Contracts 命名空间来为我的对象定义一些契约,我想知道当契约是针对基接口定义的时,其他人如何命名它们的契约类。让我用一个小例子来说明:

[ContractClass(typeof(AnimalContract))]
public interface IAnimal
{
    // definition here
}

[ContractClassFor(typeof(IAnimal))]
public class AnimalContract : IAnimal
{
    // explicit interface implementation here
}

在这个例子中,我调用了合同类AnimalContract,但是有更好的名称吗?因为契约是针对接口定义的,所以我几乎想将类命名为IAnimalContract,以说明它是针对IAnimal接口的契约。这样,当我在SolutionExplorer中看到这两个项目时,它们在视觉上就“结合”起来了,这有助于保持头脑中的整洁。当然,契约本身并不是一个接口,所以用这样的方式命名它对我来说很难闻。

在这种情况下,你们如何命名合同类?有普遍接受的惯例吗?