Add High-order variants

[tmigot]

I saved a branch with preliminary work for this: https://github.com/vepiteski/ARCTR.jl/tree/with-HO