This commit adds a suite of 'mystery function' specifications—ranging from standard mathematical functions like factorial and Fibonacci to more abstract tree transformations—to the week-05 course exercises. These definitions serve as formal specification exercises for students in the Functional Programming in Proof (FPP) curriculum.