les types sont composés uniquement de choses utiles, comme les fleurs (rose, tulipe et tournesol), les fruits (pomme, melon et tomate), les différents cours d'eau (lac, étang et ruisseau) et un certain nombre d'entiers (ceux qui sont pairs). le reste, pour le moment, ne nous intéresse pas... revenez plus tard.
dans fleuve, il est possible que les choses soient indécidables.
fleuve possède une fonction qui cherche, dans le corpus des fonctions déjà déclarées par l'utilisateur, les fonctions ayant la même signature que la fonction utilisée, en choisie une au hasard et la remplace par celle-ci, sans demander quoique ce soit à l'utilisateur.