abstract public Expr []bindArguments(Env env, Expr fun, Expr []args) throws Exception;
abstract public Expr []bindArguments(Env env, Expr fun, Expr []args);
  abstract public Expr []bindArguments(Env env, Expr fun, Expr []args)    throws Exception;