caVdef :: KeepKind -> (([Char],[Char]),Ty,Exp) -> (([Char],[Char]),Ty,Exp)