Support final classes with final fields for @Immutable

Adds @Policy annotation with an exception enum to configure
specific policies applied to a type/method/field and all their
reachable children.

Change-Id: I6ccb72fa04c7ac585ae407eabfdf126cc026ef41