In Penknife, worked on the conditional macro. Made it `if` rather than `if-struct` for orthogonality. We can build `if-struct` out of `if` and a non-conditional destructurer, but if we build a non-conditional destructurer out of `if-struct` it'll have different value duplication behavior.