Session 19
Hint 1

Use structural recursion over the inductive expression type to define the structure of your function.

There are four kinds of expression, so your function will make a four-way choice.