[Printer] smt2: print the arguments of a type constructor
[Parametric] First step parametric function in not polymorphic formula
work

        TODO:
          - smt2 printer handling
          - parametric forall
          - function definition
[Parser] Parametricity is not activated in strict mode
[Parametric] fix the subtituted terms where not named, and so not printed