Adding function types and sketching tuple types and vararg types