basis smtlib printer
expression converter
printer declarations
progress
proto working
incremental solver
better handling of free vars
clean-up commented code
handle lets
fix case class with no param
assert