only compute type of FOTerm.mk_node if term is new (not hashconsed yet)