FIRST: work on other labs.  Ask questions about subst.

THEN:

Develop the curry3 function; it takes a function of three arguments, and
produces a function that takes one argument and produces a function that takes
one argument and produces a function that takes one argument and produces the
result of calling the input function on the three given arguments.  In other
words, it has the type

(a b c -> d) -> (a -> (b -> (c -> d)))

... for types a,b,c, and d. You will need either "local" or "lambda" for this.

Next, develop the curry2 function. (This should be pretty easy, after you've
done the prior problem.

Develop the in-list? function, that consumes a list and a symbol and returns
true exactly when the symbol occurs in the list.

Use curry2 and in-list? to develop in-list-many?, that consumes a source list
of symbols and a list of query symbols, and returns a list of booleans
indicating for the corresponding element of the query list whether it occurs in
the source list.