can't use unbound variables - evaluator and stepper time out

[cyrus-]

[cyrus-]

seems to be an issue specifically when the unbound variable is the same as the function argument variable

[Negabinary]

It's specifically a capture issue

if you do

(fun x -> x)(x)

then it gets stuck in a lookup loop indefinitely because the variable x has value x in the environment. I guess we do need a distinction between bound and unbound variables in the implementation.

[Negabinary]

I think the issue is that, because the $x$ is indet, it needs to be wrapped in its own environment before it gets added to the function's environment.