Merge pull request #13 from VoQn/SimpleBool

SimpleBool Basic Syntax
Eval monad & EvalT monad transformer