Put back ProvidedTypes.fs customizations