Fix des problèmes dans fixpoint

Avec en prime un printeur un peu mieux pour les dot. J'ai mis ça a l'arrache dans driver/main.ml. Je te laisse la joie de choisir où ça doit aller.