Match expressions with nested constructor patterns (e.g. Some(Some(@Int))) are not compiled to WASM. The codegen returns None, causing the entire function to be skipped.

Location: vera/wasm/data.py line 347 — comment says "Nested constructor patterns — deferred".

The checker and verifier already handle nested patterns correctly; only the WASM emission is missing. This is distinct from #53 (custom effect handlers) and #13 (SMT verification of match).