Вроде условие ясно написано:
придумать более простой ... терм, обладающий таким ... свойством: (\s z.s(s z)) term не имеет типа, а единожды редуцированный (\z.term (term z)) уже типизируем?

Если понимать ваш терм как ответ на эту задачу

term = (\s.s s)(\x.x)

то нет, единожды редуцированный

\z.(\s.s s)(\x.x)((\s.s s)(\x.x) z)

не типизируем.

Но я так понял, что вы написали максимально простой нетипизируемый терм, у которого типизация появляется после одной редукции. Моё замечание было про причину, по которой после редукции возникает типизируемость.