curly-0.59.4.2: A minimal cross-compiler for the simply-typed lambda-calculus