[Edit](https://discord.com/channels/371759389889003530/371759389889003532/137456
4332721147975): I wanna declare a macro that can rewrite variable declaration,
named `tonim`, which can transform\:
● `a: Final = 1` -\> `let a = 1`
● `a: int = 1` -\> `var a: int = 1`

And in which it shall be aware of type alias/template, e.g. if given `type
RtConst = Final` ahead, `a: RtConst = 1` also works.