Also print warnings about missing references to the `expanding` built-in protocol when compiling definitions for the annotation hook predicates