exercise 5.9 added

Show that if we omit the constructor $\nil$ of $\lst A$ as defined on 
page~\pageref{list_constructors}, the resulting inductive type is equivalent to $\emptyt$.