./52 > bah je sais pas du tout comment marche le linker et j'ignore la raison d'être de cette contrainte, pour tout dire. Donc je peux pas répondre.
Pour les and, non on peut pas mélanger... let and, type and, module and, class and aussi il me semble, mais pas de mélanges.