Higher-order and symbolic computation: editorial