Added continutation monad implementation and notes