When I try to Export from Types I get just a single xml file named something like site-name.types.2013-03-01.xml and no settings.php file (not zipped). I have seen an answer to this problem which suggests it is to do with zip archiving. But I do have a settings.php and settings.xml file that I created successfully a couple of weeks ago so it must have worked then.
If I cannot get it to work, I think I can I just rename the site-name.types.2013-03-01.xml file and put a more current timestamp in the php file which seems to be very basic?
<?php
$timestamp = 1360400954;
$auto_import = 1;
?>