We need to write good documentation for the Lice language. This include: - A good documentation for the OCaml API - A good documentation for the language itself (syntax, advanced topics like modules, etc...)