Added lists and tuples to the type algebra, as well as inference thereof.