removed extraneous file and fixed line with TermExpression in terms.h