From nominal to higher-order rewriting and back again (Logical Methods in Computer Science, 2015)