substVbind :: ([Char],[Char]) -> ([Char],Ty) -> ([Char],Ty)