made abs an ordinary FuncTerm