type lambda_term = Var of identifier | Abstract of identifier * lambda_term | App of lambda_term * lambda_term
+<a id="occurs_free"></a>
+
16. Write a function `occurs_free` that has the following type:
occurs_free : identifier -> lambda_term -> bool