unblind

Fix algebraic blindness flagged by the unblind detector hook — replace over-generic bool/string/Maybe/tuple types with named sum types and newtypes. Use when a hook flags algebraic blindness, or when the user asks how to spot or fix it. Includes guardrails against over-narrowing (don't trade blindness for ceremony).