In Penknife, made it so the `if` macro can plausibly work now, but didn't test it yet.