Renamed args_t to arg_terms_t.
Added unused args_t type.
Made eval_impl take an args_t (that is not actually reentrant yet).