(maint) Correct assignable? for Type without type parameter

The expression Type[Integer] =~ Type should produce true but did not
since it only considered the parameterized case.
(maint) Add test for Type[Type[x]] instance? operations

There were no testing of meta type matching when there is meta
type regression (the type of the type of the...)