PLDI 2018 Artifact

This is the artifact for the paper "Inferring Type Rules for Syntactic
Sugar" by Justin Pombrio and Shriram Krishnamurthi.

(Slightly updated after AEC reviews.)