Lambda Calculus Strong Normalisation in Haskell Help

I have a project to complete in implementing features of Strong Normalisation in Haskell. The brief is attached here and the starting code too, if there are any questions please let me know directly. The timeframe is a week and my budget is £300 USD.

Haskell AND Lambda Calculus skills required!