I'm going to talk more about type inference soon (before the end of this year anyways), as this is the other cool thing about YinYang! You can see a bit of this type inference going on in the video clips, but it is not closed to finished yet.