Exercise $3.$ Assign types to each of the bound variables in the following $-$terms so

that the respective previously typed terms are legal:

$($i$)x.y.z.x(yz),$

$($ii$)x*y*z*y(xz)x.$