refactor: mover .go de tipos Go a functions/{domain}/ para compilación unificada

Los archivos .go de tipos ahora viven junto a las funciones en functions/{domain}/
(mismo paquete Go), resolviendo errores de compilación por tipos no encontrados
(Option, Pair, Result, etc.). Los .md de metadata permanecen en types/{domain}/
con file_path actualizado a functions/. Se elimina types.go duplicado de infra.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

functions/tui/progress_model.go

@@ -0,0 +1,21 @@
+package tui
+
+import (
+	"time"
+
+	"github.com/charmbracelet/bubbles/progress"
+)
+
+// ProgressModel es una barra de progreso con porcentaje, ETA y tiempo transcurrido.
+// Implementa tea.Model del framework Bubble Tea.
+// Implementation: github.com/lucasdataproyects/devfactory/tui
+type ProgressModel struct {
+	progress progress.Model
+	current  float64
+	total    float64
+	label    string
+	styles   Styles
+	showPct  bool
+	showETA  bool
+	started  time.Time
+}