add TermADT ctor ConstT
use new TermADT ctor ConstT