Bonjour,

J'apprécierais votre feedback avant de merger une nouvelle petite branche:

https://gitlab.com/monnier/typer/-/compare/master...type-macro-improvements

J'ai ajouté un peu de flexibilité à la macro `type​` pour pouvoir:

1. Avoir des paramètres de type implicites. 2. Définir des types à d'autres TypeLevels que 0. 3. Garder les constructeurs dans le même ordre.

Au passage, j'en profite pour corriger quelques petits détails avec Dune pour que ça fonctionne sur ma machine, en espérant que ça ne brise rien de votre côté.

Merci, Jean-Alexandre