Clarify TODO list
Remove TupleRecombine
Add Undefined
Add TupleAlloc