In Penknife, worked on the `if` macro some more.
In Penknife, finished implementing the `if` macro itself, but we now need to implement a constructor and a `binding-interpret` method for `binding-for-if`.