Improved interface tests on TypeHelper

- Added new overloads to IsGenericImplementationOf and
IsImplementationOf, and other tweaks.
Improved discovery order for Cloners