Update, correct, and expand documentation

[In-Veritas]

Summary of Changes

This pull request includes the following updates and improvements:

Documentation Updates

• Guide.md and Features.md:

  • Updated and clarified information to ensure accuracy and better readability.
  • Expanded sections that were previously incomplete or unclear.
  • Added new examples to better illustrate key concepts.

• Docs Folder:

  • Reviewed and revised most files in the docs folder for consistency and clarity.
  • Addressed gaps in explanations and improved structure for easier navigation.

Code Examples

• Corrected example code snippets that previously failed to execute correctly.
• Verified and tested all examples to ensure they work as intended.

Inline Comments

• Added inline comments when describing built-in functions.
  • These comments provide detailed explanations of the purpose and usage of each function.

Type Declarations

• Declared types for every function in the documentation.

---

Additional Notes

These changes aim to make the documentation more comprehensive, easier to understand, and practical for both new and experienced users. Feedback and suggestions for further improvements are welcome

[developedby]

Please use a consistent naming scheme for these cases, this is really confusing.

Either num_0/num_+ bool_false/bool_true etc
Or case_0/case_+ case_false/case_true etc.

What do you mean by route and handle?

0
0 true
0 false
0 false cons
0 false cons cons
0 false cons nil
0 false nil
+
+ false
+ true

these should be the cases.

[developedby]

The syntax for constructors in this file is wrong everywhere, should be Bool/False, List/Cons, Maybe/Some, etc