Alter the test cases to match the type system. Introduce an is-zero rule which we can use for the code.
with the standard signature.
Another step towards the goal.
With this change, we can attack the concept of patterns in the system.
Begin fleshing out tests for the implementation here.
letrec which type checks. Now we can implement some test functions on this.
is yet to be seen if it is easier to hoist binding rules out of the pattern construction or not.
which Andrzej thought I should look at :)