Fix the indexes of variants in pattern matching
Do not create closures for logical functions, filter env by used variables and have one printer instead of two
Avoid the uses of constant values
It works !