TypeInfo first tests