Compile-time validation and composition support for cache annotations