Mettre les Alias à part dans le sous-typage
format pour Lang
à quoi ressemble ce Language? (Lang) -> Code
Transformer les "==" en fonction "eq" et non en "=="
Create Error msg for the if branches
module name with a minuscule caps
Gérer l'ordre des opération avec ".", "+", etc.
Make an interface behave more like a Generic
si (Addable, Addable) -> Addable
alors (int, int) -> int