Is there any progress on this proposal? Given that we can't use type hints with arrays (though the pooled arrays exist for some types) being able to specify what type we expect to be looping through ...