use simplified Def (no DefKind type; no Callable field)