Add missing newline to the end of Reachable.hs.
Implement Counter Monad.

The Counter Monad is a State Monad where the state is an Integer. Every
computation within the Counter Monad has access to the internal counter
and returns the potentially modified counter and the result of the
computation.
Implement imperative dsl Script.
Add example for Script.