Add the "old MINS" source code to the MINs importer.
More work on the APPL importer.