handle variance of Of-types, handle TLazy and TMono in is_in_type and is_of_type
uncomment small test for variance unification