Using val … box<T> is more generic than var … T. I can use it for arguments, local values and all kinds of other things. I would have had to change much more in the language.