account for the case where a ScopedTerm doesnt have a type (tType);
updated FOTerm so that it doesnt have a Cst.t subtype, but rather a Const constructor