Create a tree containing type inference data
tp=Type(vtype,property)
data type (see m2scideclare)
property of data (see m2scideclare)
a "type" tlist
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)