updated ProvidedTypes head