substVdefg :: ([Char],[Char]) -> Vdefg -> Vdefg