(tbool,tHOL.bool);
(tfun,tfun);
(tnum,tNat.nat);
(tlist,tList.list);
(tprod,tProduct_Type.prod);
(tind,tNat.ind);
  (texpression,tInt.int);
(tint,tCode_Numeral.integer);
  (tnet,tPredicate.pred);
  (t1,tSMT.pattern);
  (tcform,tNum.num);
  (threal,tCode_Numeral.natural);
(tsum,tSum_Type.sum);
  (tquat,tExtraction.sumbool);
  (tind_model,tString.char);
  (tI,tString.nibble);
  (trecspace,tLazy_Sequence.lazy_sequence);
  (ttopology,tSet.set);
  (tcommand,tPredicate.seq)