Introduces the notion of 'trait' for the former IEqualityFluentAssertion and IInstanceTypeFluentAssertion interfaces (which don't extend IFluentAssertion anymore).

Improves the core classes documentation.
Adds 'sut' as a StyleCop RecognizedWord.