Updated readme and added LiftM4 and LiftM5 wrappers to the State monad