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