so-you-want-to-write-a-type-checker Code accompanying the blog post http://languagengine.co/blog/so-you-want-to-write-a-type-checker/