Implemented State Transformer with the Either monad to
evaluate CodeBlocks and return any error messages when
type checking. Implemented evaluation of Top Level Assignments