David Turanski: The Most Amazing Java Type Declaration Ever