doc: refactor README.md

[Mobydack]

• Add a description of the idea and type system
• Rewrite the project description
• Rewrite the installation guide
• Add usage instruction
• Add Contributing Guidelines
• Add license

We can use a better README.md structure.