unblind
Detects algebraic blindness (over-generic bool/string/Maybe/tuple types) in changed code and suggests named-type fixes. Two-stage: regex prefilter + LLM judge.