> In herd, everything is immutable unless declared with var

So basucally everything is var?

I'm not sure if I understand the question?

There are two ways to define a variable binding:

    x = 1; // declares x as immutable
    var y = 2; // declares y as mutable