Complexity Hierarchies and Higher-order Cons-free Term Rewriting (Logical Methods in Computer Science, 2017)