Simply typed lambda calculus demo for Lambda Jam 2014