Extend `counted_by` support beyond struct fields

[rapidsna]

Currently, counted_by and related attributes are only supported in struct fields. This issue tracks extending support to:

• Function parameters
• Return types
• Global variables
• Local variables

For typedef, support would only make sense if the attribute argument is a constexpr or constant literal.