DRY fix: Shared types (SynthesisInput, ExtractedEntity, ExtractedFact,
ContradictionResult, PersistInput) moved to pkg/types/synthesis.go.
Both workflow and activity packages now import from pkg/types.
Re-exported as type aliases for backward compatibility.
Fixes: Duplicate type definitions between workflow and activity packages.