Rename Passes to Gives, and further integration
Passes: examples in specs
Use require instead of assert in Tree constructors