Add note to StatelessClass; does not catch violations if final field value is itself mutable