Fixing ProvidedTypes.fs