Add an example that uses the module system

[mohammadfawaz]

ProvableHQ/leo#28761 adds a module system for Leo. It would be useful to have a dedicated example that showcases how it works and what can be done.