Draft: Resolve "Add namespace end"

Closes #51

added Doing label

assigned to @aalbert

added 14 commits

• eda4601b - mod end pub keywords
• 1df39b9f - change(parser): no more string in endModule
• 3c4b8759 - change(parser): no more string in endModule
• 7c73be7c - fix(parser): fix tests
• ac74bdf5 - feat(proost): add used modules and vars
• 2696d4ce - instable: must change kernel store_name
• 633c309a - fix: back to stable
• c1c58ca2 - add super keyword
• 6b07bc8e - convert used_modules & vars
• eb209b73 - feat(kernel, builder): add kernel support for namespaces with variables names
• 52be8b2c - working example, cleanup needed
• ab48d579 - use used_vars
• 7c3030fb - chore: apply clippy
• e4f68d84 - Resolve "Make `whnf()` less agressive" ✨️

Compare with previous version

added 1 commit

• f5f5e8b6 - feat(proot): add module_tree

Compare with previous version

added 2 commits

• 8dc26505 - feat(proost): add blank tests to module_tree.rs
• 1ac6ac4a - chore(kernel): first kernel cleanup

Compare with previous version

added 1 commit

• beaf8430 - chore(kernel): finish cleanup & fix(module_tree): correct errors

Compare with previous version

added 1 commit

• f30898ad - fix(proost): adapt evaluator to module_tree

Compare with previous version

closed