For example, if all objects' properties were immutable after instantiation, could this fact be relied upon to engineer higher performance in JS engines?

Just curious.