I got a question on Homework question 5. You do not need to deal with
any language additions other than wildcards. Also,
if is not
officially part of the simply typed calculus, so you needn’t include
it in your proofs. Shouldn’t be too difficult if you choose to add it.