Support complex if bodies
Refactor destructurization func
Added TODO about locals/globals name clash
Moved all checks to destruct_...(), implemented nested types by the way.