Pushing and Pulling Code for the ICFP2013 Contest