Take solver and cell type as command line argument.
Started a parser for sketch.

It can parse the miniTest1.sk.
Cleaned up names in the Sketch abstract syntax.
Wrote a pretty printer for sketch.
Rough draft of end to end sketch.

It compiles, but doesn't yet work correctly.
Added enough type inference to get first test case working.
Started a test suite.

It just runs smten sketch on all the test cases to see if any crash.
It doesn't actually check the output for correctness.
Started adding (incomplete) support for assignment statements.
Added declaration and assignment statements.

And fixed other things to get miniTest2_b to pass.
Added support for {*} as ??

Even though I'm not convinced {*} is supposed to be the same as ??
Implemented (untested) '!' operator.
Added: if statements, block statements.
Added >> and << operators.
Implemented (untested) xor and mul.
Added support for 'else' in if statements.
Added array literals.
Added + operator, and some support for global variables.

Global variables won't work if you use them yet though.
Switch to using 'smten' for compiling most apps.