Moving after uncurry, to simplify things

Huge update, had a lot of trouble with tailcalls-created labeldefs