Improved organisation.
Update of documentation.
Avoiding warnings when using a Lit_int type smaller than int.
Final changes, now version 2.

Mostly editorial, but improved logic of ucp-loop.