This is the Everest project as evaluated by the ICFP 2017 Artifact Evaluation Committee. Also available as a Docker image: projecteverest/everest-icfp2017aec, from http://hub.docker.com