Describir: Descomposición de módulos usando submódulos de tipo