IBnfiTermTL and IBnfiExpressionTL
revert IBnfiTermTL and IBnfiExpressionTL