Text this: Complexity Hierarchies and Higher-order Cons-free Term Rewriting