'Implements' should ignore self.
Using 'TypeDescriptor' in 'IsMatch'.
Refactored Convention.Verify().
Refactored Convention.GetFailMessage().
'DerivesFrom' should ignore self.
Updated README (description plus added a simple example).