And see <https://discuss.kotlinlang.org/t/idiomati...
# announcements
k
And see https://discuss.kotlinlang.org/t/idiomatic-way-to-expose-a-property-using-a-more-narrow-type/4863 for your second question, it's a really common feature request.