destruct: fix compilation with 402
destruct: started backporting to 400 (WIP)

Doesn't compile yet, we don't have the same interface to [Env].