Fix ProvidedTypes.fs, add compile sanity check.