Fixed unpacking step to retain type information
Fixed instrumented generator logic for while loops
fixed tests
lots of fixes to how generators are supported