"Extension types" for Kotlin

FYI, I posted a few additional thoughts on ad-hoc polymorphism here.