Patch up printer to print {} around Let's
Make some tree constructors more robust
Reorder some datagen productions
Some -partial- updates to proplogic benchmark