caTopLevelVdefg :: KeepKind -> Vdefg -> Vdefg