Added a dedicated matcher that accepts any type object.  Uniqued it.
Installed TypeSubclassMatcher and TypeComparisonPhrase.  Working on supporting regression tests.