destruct: make it compile with 400, skipping Env problems for the moment
Backport changes on Env to 4.00.X: we now store "type_descriptions"

Required for "destruct".
destruct: now works with 400