Joining in type definitions to module requests