Subclasses Generic from Type
Adds subset/superset tests
Includes all Ruby types as TAny
Revises generic subsets/supersets
Fixes erroneous assertions in test_is_a?