caTopLevelVdef :: KeepKind -> (a,b,Exp) -> (a,b,Exp)