Added another demo program re the Sate monad

Based on the BinTree build example on page 249 of "Thinking Functionally
in Haskell" by Richard Bird