Fix1: factorize module type in ext_type
Fix 1: add union_left.
Document classical usage of Fclosure
Fix 1: rename ffunction -> function_declaration
Fix 1: let_kind type is more explicit
Fix 1: Document Ffunction constructor
Fix 1: Describe identifier module types