Added parsing of boolean literals.
Removed uncessesary try.
Refactoring.
Corrected a parser bug.
Refactoring monadic to applicative style.