
 5. Haskell Syntax

 7. Eta expansion for resolving message: "variables cannot be generalized"

 9. Doc!! (examples)

 10. Comments in  extraction.ml

 11. test contribs
	
 12.  Ocaml typing => magic + cast.

