Updating: improving exporting ATS-types to C