<@U0AAQKT9Q> Is this new approach better? I don't ...

# kontributors

[mgaetan89]

@ilya.gorbunov Is this new approach better? I don't think it's the best way to handle Progressions, but maybe you have an opinion on that. https://github.com/JetBrains/kotlin/compare/master...MGaetan89:KT-9570