More annotations like @Pure, @StaticOnly, etc.

[dougkoellmer]

[dougkoellmer]

Perhaps a @ShouldBePure annotation on callback interface methods, indicating that ideally the implementation is @Pure.