@dmitry.petrov: thanks. I do this in my spare time so don't worry if I 'm not responsive all the time. Until end off the week I will peel off the discussion the different aspects of my proposal separate them in different ones (in different pull requests???) so that we can discuss about these aspects in isolation and can agree on them in isolation too. I do have experience in language design, type systems, parsers, codegenerators and stuff but not in byte code generation. So I would like to help implementing these features, but would need some information on how Kotlin is implemented since the code base won't be self-explanatory, right? @abreslav already hinted me at a readme I will see how far I get with this.