[Fortress-interest] sizeof operator binding

[Mike Atkinson]

I would expect the sizeof operator to bind more tightly than (almost?) 
anything else, however

for i <- |old|)#|new|-|old| do
end

where old and new are of type HeapSequence, does not work, only

for i <- (|old|)#((|new|)-(|old|)) do
end

seems to work.

Mike Atkinson