haddocked and moved checkpoint monad
remove remainder of first checkpoint example
use new checkpoint module in example