[FEATURE]: Variable Types (Can be either required or option)

[pacifiquem]

Introduce support for variable types in the language, with the ability to mark types as required or optional, and a mechanism to enable or disable type safety globally or per file/module. This would bring structure and safety to the language without sacrificing flexibility.