tilo: differentiate between primitive types TId and unknown type variables TUnk