Extracting types to files