Added monad example. Fixed WHILE language test cases