Reconsider the names of some data structures and functions in the RCA implementation

@cesarzc is already working on this.

Since Mar 21, 2024.

The Runtime Capabilities Analysis (RCA) implementation uses some data structures and functions that rely on concepts that are difficult to convey through names. However, we can improve some of them to make the algorithm easier to understand. Here's a list of the names to reconsider:
- [ ] `ApplicationGeneratorSet`
- **Description**: A set of compute properties associated to a callable or one of its elements, from which the properties of any
particular call application can be computed.
- **Location**: _compiler/qsc_rca/src/lib.rs_
- [ ] `aggregate_runtime_features`
- **Description**: Using the `self` `ComputeKind` as the basis, it calculates a new `ComputeKind` but only taking into account the runtime features of the `ComputeKind` to aggregate.
- [ ] `ApplicationInstance`
- **Description**: A representation of the compute properties of a particular callable application. In other words, a representation of a function/operation call in which its arguments are binded to static or dynamic values.
- **Location**: _compiler/qsc_rca/src/application.rs_
- [ ] "Resolution" in capabilities check pass.
- **Description**: The capabilities check pass uses the word "resolution" in errors' descriptions, but it might be confusing for the final user.
- **Location**: _compiler/qsc_passes/src/capabilitiesck.rs_