To do Investigate Kotlin to see if I can write satisfier and the expecters in Kotlin and compile to different languages.