Refine the specification of @Repeal, add @Reverse, refine pre-defined guards.

@Repeal now applicable to packages, not applicable to annotation types.
Add @Reverse for reverse annotations.
@Nullable applicable to packages.
Add @AllowNulls (reverse of @NoNulls), @FloatRange.
Fix typo in Javadoc for @Guard.