ImmutableAttribute and Analyzer

[Entomy]

This attribute should specify that the type it is attached to must be publicly immutable. private, internal, and protected mutation is allowed. This can easily be enforced as a contract via analyzer, which just looks at the type and ensures there are no public mutators. Any fields must be readonly and any properties must not have a public set.