Re-exporting modules in the Foreign hierarchy