Cleanup
Destructuring binds variables too
Fix escape analysis constraint solver termination
Place allocas in entry block
Simplify buildCon slightly
Atomically allocate zero-arg constructors