Add stuff to TODO
Print type info in debug messages
Change default to Z3