Default switch option `Mutable` to `Immutable`

[aosen-xiong]

Find out a way to add the option to switch the default of unannotated code from Mutable to Immutable.

[aosen-xiong]

Also provide possible annotation to mark a file/package's default as immutable