There are still some details and edge-cases to get right, but broadly
speaking type info for each item looks very good now.