What is the difference between a Self type and recursive types? Does a first class Self type enable something that recursive types do not? https://discuss.kotlinlang.org/t/self-types/371