Type - Create a tree containing type inference data
This function create a tlist representing type inference data when using M2SCI. All input parameters values are verified to be compatible with "M2SCI tlists". (Unknown=-1 in M2SCI)
Funcall , Operation , Variable , Cste , Infer , Equal , m2scideclare ,