A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail)