Tuples and Lists now share a superclass. Tuples now type inference properly. List comprehension is type inferences to extent. Work still needs to be done that.