Refine diagnostics for #if in @abi

This combination is not permitted, since `#if` can evaluate to zero or many declarations and cannot contain declaration headers (which will become supported in this position in a future PR).

Author: beccadax