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

stlc:typecheck(quote(var("y")), R)