Simplified some of destruct; simplified quasiquotation code; simplified compile-to-midir