substVdef :: ([Char],[Char]) -> (([Char],[Char]),Ty,Exp) -> (([Char],[Char]),Ty,Exp)