Migrate BlockCoord from SMT and add Block iterators.
Also small change from types -> values in @Handler