Types can now be inferred after loops quite reasonably.