removed the ref constraint on the meta for loop, added a bool return for early bailout, implemented the write iterator increment in meta for so I could do the upper bound compare in compile time, and then I got rid of that ridiculous function nestingSizes() that was only used as a helper for the write iterator