ICFP 2010 λTR fully implemented in redex