Do better type inference for comparison operators.
Restrict the function in application to a variable.

Because it is cleaner, and sketch doesn't (I don't think) support any other
kind of function application.
Fixed a bug in inference of int literal types.
Support explicit casts between two bit vector sizes.
Promote bit and bits to int for array access index (untested).
Update test status.
Added an explicit function type.

And used this to do better type inference of function arguments.
Add support for integer (and other) arrays.
Add bounds checking for array update.
Start running tests which we expect to fail.

Also support (untested) integer literals for arrays.
Removed a bug with out integer literals are interpreted for bit[].

Unfortunately (or fortunately, depending on your perspective), this bug was
masking other bugs, so when it was removed, some of the test cases that used
to pass no longer pass.
Initialize all arrays with pad elements.
Automatically pad arrays on update.
Promote bit to int, but not bit[] to int.
Updated test status.
Arguments to Gt and Lt are now int only, and promoted needed.
Allow functions which take no arguments. (untested)
Support post-increment in for increment.
Take input file on command line instead of stdin.
Added support for modulo operator.

Unfortunately, it doesn't work with a hole on the right hand side, for reasons
I don't fully comprehend.