Add Neg constructor to term and remove symbol S.sym_not