[jedimastert]

You could take a look at what this guy[1] did. It was a great read for me as a real beginner in lambda calculus.

[1]: https://www.jtolio.com/2017/03/whiteboard-problems-in-pure-l...