Fix parsing of let structures
Add an example which encodes many of the examples of the Z3 tutorial

Available at: http://rise4fun.com/Z3/tutorial/guide