TypeInfo.Make with first tests