Clarification about memory management of immutable and mutable struct

[yuyichao]

If none of the subtypes have type parameters that are not fixed it should be fine, though it will be harder for the compiler to figure that out and generate code for.