ychr-0.1.0.0: test/golden/stlc/apply.goal

stlc:typecheck(quote(app(lam("x", add(var("x"), lit_int(1))), lit_int(5))), R)