nb: it actually does not remove remove polymorphism actually -> TODO: Rename this module.
nb2 : only if/then/else is truely polymorphic.
nb :
il est préférable d'appeler ce module AVANT L2lAliasType, sinon on risque d'avoir des alias bizarres, du style : 'anynum_4_7_int' au lieu de 'int_4_7' Mais bon, normalement c'est quand même correct ...