Release 2.0

Major release containing:
- radical improvements to the state monad
- example of manual && monadic tree labeling