Discussion of the proposal in #111 Summary This proposal adds annotations which enable the use of more Kotlin language features like extension functions, extension properties, default values, and p...