Updated ProvidedTypes

...with better header information